A tableau-based decision procedure for right propositional neighborhood logic