Definition:Marked Leaf/Open
< Definition:Marked Leaf(Redirected from Definition:Marked Open Leaf)
Jump to navigation
Jump to search
Definition
Let $T$ be a semantic tableau.
A marked leaf $t$ of $T$ is marked open if and only if its label $\map U t$ does not contain a complementary pair.
This can be designated by adding to $t$ a second label $\odot$.
Sources
- 2012: M. Ben-Ari: Mathematical Logic for Computer Science (3rd ed.) ... (previous) ... (next): $\S 2.6.2$: Algorithm $2.64$