A Tableau-based decision procedure for Right Propositional Neighborhood Logic