Modal Tableaux.
From the book "First Order Modal Logic", Chapter 2 (Melving Fitting and Richard Mendelsohn).