The sentence tableaux rules

Here in tabular form, is a summary of the derivation rules:

(Note that it is not necessary to put in the vertical line when drawing a tableau.)

Any branch containing "φ" and "¬φ" closes.