Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings