i think this should be checked too since it's been applied (step 8 & 9)

Author: yiannis-had

content/normal-modal-logic/tableaux/countermodels.tex

@@ -111,7 +111,7 @@
     [\pFmla{\False}{\Box(p \lor q) \lif (\Box p \lor \Box q)}{1},
       just = \TAss, checked
       [\pFmla{\True}{\Box(p \lor q)}{1},
-        just = {\TRule{\False}{\lif}[1]}, 
+        just = {\TRule{\False}{\lif}[1]}, checked
         [\pFmla{\False}{\Box p \lor \Box q}{1},
           just = {\TRule{\False}{\lif}[1]}, checked
           [\pFmla{\False}{\Box p}{1},