Definition:Semantic Tableau/Completed

From ProofWiki
Jump to navigation Jump to search

Definition

Let $T$ be a semantic tableau.


Then $T$ is completed if and only if all of its leaves are marked.


Also see


Sources