semantic tableau

(redirected from Method of analytic tableaux)
Also found in: Wikipedia.

semantic tableau

n
1. (Logic) a method of demonstrating the consistency or otherwise of a set of statements by constructing a diagrammatic representation of all the circumstances that satisfy the set of statements
2. (Logic) the diagram so constructed
Mentioned in ?
Full browser ?