We refer interested readers to the following material
Quick Guide to Semantic Tableaux in Boolean Logic‎