A Completeness Proof for an Infinitary Tense Logic