Logic and formal reasoning are foundational to mathematics, yet students often struggle to connect symbolic notation with conceptual meaning. This presentation explores the pedagogical value of semantic tableaux as an integrated approach that reinforces truth tables, normal forms, and tautology analysis while deepening conceptual mastery of propositional logic. Semantic tableaux offer a visual and algorithmic method for decomposing well-formed formulas into subformulas and atoms. This tree-based representation complements traditional truth-table reasoning by applying the rules for logical connectives to determine whether a statement is satisfiable. By making the logical structure visually explicit through a branching tree, this method reveals the conditions for tautologies and contradictions while naturally bridging to normal forms (CNF and DNF). In doing so, it also reinforces case-based reasoning that underpins probability models and proofs by cases. Ultimately, semantic tableaux move students beyond procedural symbolic manipulation and table-reading toward a deeper understanding of logical form, laying a rigorous foundation for advanced reasoning in mathematics and computer science.