semantic tableau

English

Noun

semantic tableau (plural semantic tableaus or semantic tableaux)

  1. (logic) A truth tree.