Optimal tableau for Right Propositional Neighborhood Logic over trees