Tableaux for Logics of Subinterval Structures over Dense Orderings