Use a hidden field named ButtonPressed; set this to "No" using the Default Value Formula.
In the button macro, set this flag variable:
FIELD ButtonPressed := "Yes";
@If(@IsDocBeingSaved & (ButtonPressed != "Yes"); @Failure("Please use the Finish Button!"); @Success)