Tableau Method

Natural & Formal Sciences Dictionary
A proof-search and satisfiability-testing technique that incrementally decomposes logical formulas into constituent components along a tree (the tableau or truth tree), closing branches that contain contradictions and thereby either constructing a countermodel from an open branch or establishing validity when all branches close.