Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders