Definition:Semantic Tableau/Closed

From ProofWiki
Jump to navigation Jump to search

Definition

Let $T$ be a semantic tableau.


Then $T$ is closed iff all of its leaves are marked closed.


Also see


Sources