https://www.semanticscholar.org/topic/Method-of-analytic-tableaux/327111
Method of analytic tableaux | Semantic Scholar
In proof theory, the semantic tableau (French pronunciation: [ta'blo]; singular: tableau; plural: tableaux), also called truth tree, is a decision procedure...
analytic tableauxsemantic scholarmethod