semantic tableau

Noun

 * 1)  A truth tree.