Simplification Rules for Intuitionistic Propositional Tableaux