No, that's not how this works.
Consider a single tree being added to a Random Forest (RF) model.
The standard recursive partitioning algorithm would start with all the data and do an exhaustive search over all variables and possible split points to find the one that best "explained" the entire data - reduced the node impurity the most. The data are split according to the best split point and the process repeated in the left and right leaves in turn, recursively, until some stopping rules are met. The key thing here is that each time the recursive partitioning algorithm looks for a split all the variables are included in the search.
Where RF models differ is that when forming each split in a tree, the algorithm randomly selects mtry
variables from the set of predictors available. Hence when forming each split a different random set of variables is selected within which the best split point is chosen.
Hence for large trees, which is what RFs use, it is at least conceivable that all variables might be used at some point when searching for split points whilst growing the tree.