Hello and welcome to the forum!
To answer your question, yes the release lever should have a bit of play in it when the action is locked up. If it doesn't it means that the locking lug may not be fully extended. There should be about a 16th of an inch or so of play.