semantic tableau
English
Noun
semantic
tableau
(
plural
semantic tableaus
or
semantic tableaux
)
(
logic
)
A
truth tree
.