Termination of derivations for minimal tense logic