Definition:Semantic Tableau

Definition
Semantic tableaus are the labeled trees which can be obtained in the course of executing the Semantic Tableau Algorithm.