A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications