Definition:Marked Leaf/Open

From ProofWiki
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