If the smart card used for the logon is removed from the smart card reader before any encryption operations are performed, will the user be prompted for a smart card and PIN at the first EFS operation?

Yes, if the smart card used for the logon is removed from the smart card reader before any encryption operations are performed, then SSO gets disabled and the user will be prompted for a smart card and PIN at the first EFS operation.