Hebrews 4:10

For--justifying and explaining the word "rest," or "Sabbatism," just used (see on Heb 4:9). he that is entered--whosoever once enters. his rest--God's rest: the rest prepared by God for His people [ESTIUS]. Rather, "His rest": the man's rest: that assigned to him by God as his. The Greek is the same as that for "his own" immediately after. hath ceased--The Greek aorist is used of indefinite time, "is wont to cease," or rather, "rest": rests. The past tense implies at the same time the certainty of it, as also that in this life a kind of foretaste in Christ is already given [GROTIUS] (Jer 6:16; Mat 11:28-29). Our highest happiness shall, according to this verse, consist in our being united in one with God, and moulded into conformity with Him as our archetype [CALVIN]. from his own works--even from those that were good and suitable to the time of doing work. Labor was followed by rest even in Paradise (Gen 2:3, Gen 2:15). The work and subsequent rest of God are the archetype to which we should be conformed. The argument is: He who once enters rest, rests from labors; but God's people have not yet rested from them, therefore they have not yet entered the rest, and so it must be still future.

— Jamieson-Fausset-Brown Commentary (public domain)