Closable Linear Equational Theories -- A New Meta-Complexity Theorem for Bottom-Up Logic