Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders